Logic in computer science

Results: 2713



#Item
921Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY

Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2010-03-08 19:45:48
922Resolving Author Name Homonymy to Improve Resolution of Structures in Coauthor Networks Theresa Velden, Asif-ul Haque, Carl Lagoze Cornell University

Resolving Author Name Homonymy to Improve Resolution of Structures in Coauthor Networks Theresa Velden, Asif-ul Haque, Carl Lagoze Cornell University

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2011-06-17 16:34:00
923Resolution versus Search: Two Strategies for SAT  Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine

Resolution versus Search: Two Strategies for SAT  Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2000-11-01 13:42:40
924TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications A. Doroshenko1, R. Shevchenko2 1

TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications A. Doroshenko1, R. Shevchenko2 1

Add to Reading List

Source URL: www.gradsoft.com.ua

Language: English - Date: 2005-10-06 06:06:53
925Compilation of Planning to SAT Yiqiao Wang 1 Motivation

Compilation of Planning to SAT Yiqiao Wang 1 Motivation

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2006-03-10 10:57:49
926Bounding changes in probability over time: It is unlikely that you will change your mind very much very often Ernest Davis Dept. of Computer Science New York University

Bounding changes in probability over time: It is unlikely that you will change your mind very much very often Ernest Davis Dept. of Computer Science New York University

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2013-11-10 13:18:29
927Informatics Everywhere: Information and Computation in Society, Science, and Technology Tom Verhoeff Dept. of Math. and CS, Eindhoven University of Technology Den Dolech 2, 5612 AZ Eindhoven, The Netherlands

Informatics Everywhere: Information and Computation in Society, Science, and Technology Tom Verhoeff Dept. of Math. and CS, Eindhoven University of Technology Den Dolech 2, 5612 AZ Eindhoven, The Netherlands

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2013-06-24 05:42:44
928Reasoning about Function Objects Martin Nordio1 , Cristiano Calcagno??23 , Bertrand Meyer1 , Peter M¨ uller1 , and 1 Julian Tschannen 1

Reasoning about Function Objects Martin Nordio1 , Cristiano Calcagno??23 , Bertrand Meyer1 , Peter M¨ uller1 , and 1 Julian Tschannen 1

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2011-02-25 03:52:43
929Recent Advances in AI Planning Daniel S. Weld Department of Computer Science & Engineering University of Washington, BoxSeattle, WA 98195{2350 USA

Recent Advances in AI Planning Daniel S. Weld Department of Computer Science & Engineering University of Washington, BoxSeattle, WA 98195{2350 USA

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2002-02-04 15:45:48
930Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010.

Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010.

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2014-11-14 10:40:02